Decidability of Trajectory-Based Equations

نویسندگان

  • Michael Domaratzki
  • Kai Salomaa
چکیده

We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the operations of concatenation, insertion, shuffle, quotient, sequential and scattered deletion, as well as many others. Our results are constructive in the sense that if a solution exists, it can be effectively represented. We show both positive and negative decidability results.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Numerical solution of higher index DAEs using their IAE's structure: Trajectory-prescribed path control problem and simple pendulum

In this paper, we solve higher index differential algebraic equations (DAEs) by transforming them into integral algebraic equations (IAEs). We apply collocation methods on continuous piece-wise polynomials space to solve the obtained higher index IAEs. The efficiency of the given method is improved by using a recursive formula for computing the integral part. Finally, we apply the obtained algo...

متن کامل

Robust Sliding Mode Controller for Trajectory Tracking and Attitude Control of a Nonholonomic Spherical Mobile Robot

Based on dynamic modeling, robust trajectory tracking control of attitude and position of a spherical mobile robot is proposed. In this paper, the spherical robot is composed of a spherical shell and three independent rotors which act as the inner driver mechanism. Owing to rolling without slipping assumption, the robot is subjected to two nonholonomic constraints. The state space representatio...

متن کامل

Trajectory Optimization of Cable Parallel Manipulators in Point-to-Point Motion

Planning robot trajectory is a complex task that plays a significant role in design and application of robots in task space. The problem is formulated as a trajectory optimization problem which is fundamentally a constrained nonlinear optimization problem. Open-loop optimal control method is proposed as an approach for trajectory optimization of cable parallel manipulator for a given two-end-po...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 345  شماره 

صفحات  -

تاریخ انتشار 2004